<html>
    <head>
        <title>Truth Table Generator</title>
    </head>
    <body>
        <h1>Truth Table Generator</h1>
        
        <div>Acceptable symbols: A-Z (variable names), ~ (negation), & (conjunction), v (disjunction), -> (implication), <-> (double implication), ( ) (grouping)</div>
        <div>In the output: T = True and F = False.</div>
        <br>
        
        <form action="" method="post" accept-charset="utf-8">
            <div>
                <input type="text" name="formula" value="" id="message" style="width:500px">
                <input type="submit" value="Submit">
            </div>
        </form>
        
        